#ifndef _WWDG_H_
#define _WWDG_H_ 
#include "stm32f4xx.h"
#include <stdio.h>

void WWDG_Init(void) ; 

#endif 